منابع مشابه
Reverse Mathematics, Young Diagrams, and the ascending Chain condition
Let S be the group of finitely supported permutations of a countably infinite set. Let K[S] be the group algebra of S over a field K of characteristic 0. According to a theorem of Formanek and Lawrence, K[S] satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over RCA0 (or even over RCA0 ) to the statement that ...
متن کاملConverted-waves imaging condition for elastic reverse-time migration
Polarity changes in converted-wave images constructed by elastic reverse-time migration causes destructive interference after stacking over the experiments of a seismic survey. We derive a simple imaging condition for converted waves imaging designed to correct the image polarity and reveal the conversion strength from one wave mode to another. Our imaging condition exploits pure Pand S-modes o...
متن کاملScalar imaging condition for elastic reverse time migration
Polarity changes in converted-wave images constructed by elastic reverse time migration cause destructive interference after stacking over the experiments of a seismic survey. This polarity reversal is due to PS and SP reflectivities reversing sign at certain incidence angles, e.g., at normal incidence in isotropic media. Many of the available polarity correction methods are complex and require...
متن کاملRegularity in Orlicz spaces for nondivergence elliptic operators with potentials satisfying a reverse Hölder condition∗
The purpose of this paper is to obtain the global regularity in Orlicz spaces for nondivergence elliptic operators with potentials satisfying a reverse Hölder condition.
متن کاملA new equivalent condition of the reverse order law for G-inverses of multiple matrix products
In 1999, Wei [M.Wei, Reverse order laws for generalized inverse of multiple matrix products, Linear Algebra Appl., 293 (1999), pp. 273-288] studied reverse order laws for generalized inverses of multiple matrix products and derived some necessary and sufficient conditions for An{1}An−1{1} · · ·A1{1} ⊆ (A1A2 · · ·An){1} by using P-SVD (Product Singular Value Decomposition). In this paper, using ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Zeitschrift
سال: 2010
ISSN: 0025-5874,1432-1823
DOI: 10.1007/s00209-010-0790-6